The focus of this study was to analyze the content, distribution, and comparative genome relationships of 996 chromosome bin-mapped expressed sequence tags accounting for 2266 restriction fragments on the homoeologous group 3 chromosomes of hexaploid wheat. Of these loci, 634, 884, and 748 were mapped on chromosomes 3A, 3B, and 3D, respectively. The individual chromosome bin maps revealed bins with a high density of mapped ESTs in the distal region and bins of low density in the proximal region of the (...) chromosome arms, with the exception of 3DS and 3DL. These distributions were more localized on the higher-resolution group 3 consensus map with intermediate regions of high-mapped-EST density on both chromosome arms. Gene ontology classification of mapped ESTs was not significantly different for homoeologous group 3 chromosomes compared to the other groups. A combined analysis of the individual bin maps using 537 of the mapped ESTs revealed rearrangements between the group 3 chromosomes. Approximately 232 of the consensus mapped ESTs matched sequences on rice chromosome 1 and revealed large- and small-scale differences in gene order. Of the group 3 mapped EST unigenes ∼21 and 32% matched the Arabidopsis coding regions and proteins, respectively, but no chromosome-level gene order conservation was detected. (shrink)

This report describes the rationale, approaches, organization, and resource development leading to a large-scale deletion bin map of the hexaploid wheat genome. Accompanying reports in this issue detail results from chromosome bin-mapping of expressed sequence tags representing genes onto the seven homoeologous chromosome groups and a global analysis of the entire mapped wheat EST data set. Among the resources developed were the first extensive public wheat EST collection. Described are protocols for sequencing, sequence processing, EST nomenclature, and the assembly of (...) ESTs into contigs. These contigs plus singletons were used for selection of distinct sequence motif unigenes. Selected ESTs were rearrayed, validated by 5′ and 3′ sequencing, and amplified for probing a series of wheat aneuploid and deletion stocks. Images and data for all Southern hybridizations were deposited in databases and were used by the coordinators for each of the seven homoeologous chromosome groups to validate the mapping results. Results from this project have established the foundation for future developments in wheat genomics. (shrink)

The sociobiology debate, in the final quarter of the twentieth century, featured many of the same issues disputed in the culture war in the humanities during this same time period. This is evident from a study of the writings of Edward O. Wilson, the best known of the sociobiologists, and from an examination of both the minutes of the meetings of the Sociobiology Study Group (SSG) and the writings of Stephen Jay Gould, the SSG's most prominent member. Many critics (...) of sociobiology, frequently radical scientists who were attached to the lineage of the New Left, argued for the same multicultural values promoted by radical humanities professors in this period. Conversely, liberal sociobiologists defended the universalist values of the liberals in the humanities. Those scholars whose work was important before the cultural revolution in the 1960s were usually committed to a liberal universalism that emphasized the similarity between people. Younger scholars, who took faculty positions in the 1970s and after, were more likely to owe an allegiance to an ethnos-centered social vision that valued identity politics. The struggle between these two agendas, more intellectual than generational, was at the core of the culture wars both in the humanities and in the sciences. The sociobiology debate should be viewed in this light. (shrink)

We prove that the set of properties describable by a uniform sequence of first-order sentences using at most k + 1 distinct variables is exactly equal to the set of properties checkable by a Turing machine in DSPACE[n k ] (where n is the size of the universe). This set is also equal to the set of properties describable using an iterative definition for a finite set of relations of arity k. This is a refinement of the theorem PSPACE = (...) VAR[O[1]] [8]. We suggest some directions for exploiting this result to derive trade-offs between the number of variables and the quantifier depth in descriptive complexity. (shrink)

BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

I write here about how the visible and the invisible intertwine in painting: in theory and in praxis – primarily the praxis of my own painting. Philosophers are rarely asked to discuss, much less to show in public, what they do avocationally rather than professionally. I was drawn to the invitation of the Merleau-Ponty Circle to exhibit my painting and to talk about what I do when I am not writing or teaching philosophy. It has offered a rare chance to (...) catch up with myself – with the painter in me. I started in art long before I turned to philosophy. It was my first love and is still my intermittent passion. I have not hidden it from others altogether – I have shown my work in various group shows– but it would be more accurate to say that I have hidden it from myself. Talking about my art work in the context of this Circle comes at a very welcome moment in which I am in the process of determining where I shall go with the rest of my life as it shortens down: ars longa, vita brevis.J’écris ici à propos de la manière dont le visible et l’invisible s’entrelacent dans la peinture : en théorie et en pratique, prioritairement dans ma propre pratique de la peinture. On demande rarement aux philosophes de discuter, et encore moins de montrer en public, ce qu’ils font en amateurs plutôt que professionnellement. J’ai été entraîné par l’invitation du Merleau-Ponty Circle à exposer ma peinture et à parler de ce que je fais lorsque je n’écrit pas et n’enseigne pas la philosophie. Cela m’a offert une chance rare de me retrouver moi-même, le peintre en moi. J’ai commencé dans l’art bien avant de me tourner vers la philosophie. C’était mon premier amour c’est encore ma passion intermittente. Je ne l’ai pas caché, puisque j’ai montré mon travail dans plusieurs expositions collectives. Ce serait plus juste de dire que je l’ai caché de moi-même. Parler de mes oeuvres d’art dans le contexte du Merleau-Ponty Circle arrive à un moment tout à fait bienvenu, où je suis en train de réfléchir à la suite de ma vie, puisqu’elle raccourcit : ars longa, vita brevis.In questo articolo tratto di come il visibile e l’invisibile si intreccino in pittura, nella teoria come nella pratica, e in particolare nella mia pratica di pittura. Raramente ai filosofi viene chiesto di discutere, e ancor più raramente di mostrare pubblicamente, ciò che essi fanno in ambito amatoriale e non professionale. Sono rimasto molto colpito dall’invito del Merleau-Ponty Circle a esporre i miei dipinti e a parlare dell’attività che svolgo quando non scrivo o non insegno filosofia. Questo invito mi ha fornito un’opportunità rara per riprendere contatto con me stesso – con il pittore che è in me. Mi sono avvicinato all’arte molto prima di rivolgermi alla filosofia. L’arte è stato il mio primo amore ed è ancora la mia passione intermittente. Non l’ho mai tenuta nascosta agli altri – ho presentato il mio lavoro in numerose mostre collettive; forse sarebbe più corretto dire che l’ho nascosta a me stesso.La possibilità di parlare della mia arte in occasione del Merleau-Ponty Circle si è presentata in un momento molto propizio, in cui mi trovo a domandarmi quale strada percorrere in quello che resta della mia vita che a mano a mano si accorcia: ars longa, vita brevis. (shrink)

Troubadour of truth, by R. E. Brennan.--Reflections on necessity and contingency, by Jacques Maritain.--Intellectual cognition, by Rudolf Allers.--The problem of truth, J. K. Ryan.--The ontolgical roots of Thomism, by Hilary Carpeuter.--The role of habitus in the Thomistic metaphysics of potency and act, by V. J. Bourke.--The nature of the angels, by J. O. Riedl.--The dilemma of being and unity, by A. C. Pegis.--Prudence, the incommunicable wisdom, by C. J. O'Neil.--A question about law, by M. J. Adler.--The economic philosophy of (...) Aquinas, by J. A. Ryan.--Beyond the crisis of liberalism, by Y. R. Simon.--The fate of representative government, by Walter Farrell.--The Thomistic concept of education, by R. J. Slavin.--The perennial theme of beauty, by Immanuel Chapman.--Epilogue, by H. T. Schwartz.--Bibliography (p.[363]-419). (shrink)

After distinguishing three kinds of pluralism, an individualist pluralism at one pole, a communalist pluralism at the other, and a third more complex concept ofpluralism, I address the meaning of commitment in America as iIIuminated by these distinctions. This continues a line opened up in Habits of the Heart. An earlierversion of this paper was presented at Marquette University in the Edward J. O’Donnell, S.J., Distinguished Lecture Series.

The second meeting of British and Soviet philosophers, continuing the discussion of problems of ethics begun in the fall of 1968 in England, was held in Tbilisi in October 1969. This time the British philosophers journeyed to our country, by agreement between the Alliance of Friendship Societies and the Society of Friends . The group of five included philosophy teachers at a number of universities: David Bell , with whom we were well acquainted from our debates in East Greenstead, Steven (...) Lucas , Edward Honderik , Bernard Harrison , whom we had also met during our visit to Brighton, and the Secretary for European Affairs of the British Quaker organization, Alan Davis. On our side, the discussion was conducted by L. N. Mitrokhin and O. G. Drobnitskii , A. A. Ivin, N. Z. Chavchavadze, and A. F. Begiashvili. The Alliance of Friendship Societies was represented by the assistant chief of the Division of British Countries, F. I. Fedosov. (shrink)

This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

The Stanford Encyclopedia of Philosophy is an open access, dynamic reference work designed to organize professional philosophers so that they can write, edit, and maintain a reference work in philosophy that is responsive to new research. From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before they (...) are made public. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

In its approach to fiction and fictional discourse, pretense theory focuses on the behaviors that we engage in once we pretend that something is true. These may include pretending to name, pretending to refer, pretending to admire, and various other kinds of make-believe. Ordinary discourse about fictions is analyzed as a kind of institutionalized manner of speaking. Pretense, make-believe, and manners of speaking are all accepted as complex patterns of behavior that prove to be systematic in various ways. In this (...) paper, I attempt to show: (1) that this systematicity is captured in the basic distinctions and representations that are central to the formal theory of abstract objects, and (2) that this formal theory need not be interpreted platonistically, but may instead have an interpretation on which the `objects' of the theory are things that pretense theorists already accept, namely, complex patterns of linguistic behavior. The surprising conclusion, then, is that a certain Wittgensteinian approach to meaning (e.g., the meaning of a term like `Holmes' is constituted by its pattern of use) bears an interesting relationship to a formal metaphysical theory and the semantic analyses of discourse constructed in terms of that theory---the former offers a naturalized interpretation of the latter, yet the latter makes the former more precise. (shrink)

The author engages a question raised about theories of nonexistent objects. The question concerns the way names of fictional characters, when analyzed as names which denote nonexistent objects, acquire their denotations. Since nonexistent objects cannot causally interact with existent objects, it is thought that we cannot appeal to a `dubbing' or a `baptism'. The question is, therefore, what is the starting point of the chain? The answer is that storytellings are to be thought of as extended baptisms, and the details (...) of this response receive attention in the paper. Once the storytelling is complete, and the characters have been baptized, a priori metaphysical principles linking the storytelling with the realm of nonexistent objects provide the referential, non-causal connection between the names used in the storytelling and the objects denoted by such names. [This is the original English version of an article that first appeared in German translation, translated into German by Arnold Günther and published in the Zeitschrift für Semiotik 9/1-2 (1987): 85-95. The version that appears here is, for the most part, unaltered.]. (shrink)

Many philosophers, including direct reference theorists, appeal to naively to 'modes of presentation' in the analysis of belief reports. I show that a variety of such appeals can be analyzed in terms of a precise theory of modes of presentation. The objects that serve as modes are identified intrinsically, in a noncircular way, and it is shown that they can function in the required way. It is a consequence of the intrinsic characterization that some objects are well-suited to serve as (...) modes that present individuals and while others are well-suited to serve as modes that present properties (though such modes do not `determine' the objects they present---there is no necessary connection between a mode m and the individual x or property F that it presents). Moreover, it is also a consequence that the modes for properties and individuals can be organized into complexes that are structurally identical to Russellian propositions having the represented properties and individuals as constituents. Not only is the relationship between modes and Fregean senses and modes of presentation explored in the paper, but also the idea that the theory of modes of presentation developed in the paper can serve as a theory of concepts. (shrink)

The principal goal of this entry is to present Frege's Theorem (i.e., the proof that the Dedekind-Peano axioms for number theory can be derived in second-order logic supplemented only by Hume's Principle) in the most logically perspicuous manner. We strive to present Frege's Theorem by representing the ideas and claims involved in the proof in clear and well-established modern logical notation. This prepares one to better prepared to understand Frege's own notation and derivations, and read Frege's original work (whether in (...) German or in translation). Moreover, this should prepare the reader to understand a number of scholarly books and articles in the secondary literature on Frege's work. (shrink)

This paper has two main aims: first, to set forth an analysis of Timaeus 48E-52D and then to explore the significance of those pages for our understanding of Plato’s metaphysics. Students of the “Receptacle” in Plato’s Timaeus have given close attention to the many metaphors he offers in his explanation of its nature. Less attention has been given to the overall structure of the passage in which he presents it. In this paper, I attempt to show that Plato’s exposition there (...) exhibits a coherent and very careful design. But once that design is grasped, it can be seen that his extended account of the Receptacle must properly be understood to treat a rather different subject: the nature of an image, rather than the nature of the Receptacle, is the focal concern uniting the whole of 48E-52D. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

A. Plantinga develops a challenging critique of Castañeda's guise theory, by identifying fundamental intuitions that guise theory gives up and by developing several objections to the guise-theoretic world view as a whole. In this paper, I examine whether Plantinga's criticisms apply to the theory of abstract objects. The theory of abstract objects and guise theory can be fruitfully compared because they share a common intellectual heritage---both follow Ernst Mally [1912] in postulating a special realm of objects distinguished by their "internal" (...) or "encoded" properties. Despite this common heritage, however, the theories organize, develop, and apply these special objects in distinctive ways. The two metaphysical systems, therefore, differ significantly, and these differences become important when one considers Plantinga's critique of guise theory. In this essay, the author shows that the theory of abstract objects anticipates and addresses most of Plantinga's concerns about guise theory, by preserving intuitions guise theory has abandoned. (shrink)

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

Deception is a useful methodological device for studying attitudes and behavior, but deceptive studies fail to fulfill the informed consent requirements in the U.S. federal regulations. This means that before they can be approved by Institutional Review Boards, they must satisfy the four regulatory conditions for a waiver or alteration of these requirements. To illustrate our interpretation, we apply the conditions to a recent study that used deception to show that subjects judged the same wine as more enjoyable when they (...) believed it had a higher price. (shrink)

This essay endeavors to show that application of a universalist epistemic method in theological ethics results in a construal of God, which is, from a biblical perspective, reductionist, and is a form of ethics in which universality is achieved at the expense of plurality. It argues for the formal possibility of an ecclesial ethics grounded in a tradition-centered rationality. It further argues that such an ethic need not result in a narrow and defensive sectarianism, a rigid and static orthodoxy, or (...) an authoritarian dogmatism. The posture of an ecclesial ethic based on the kind of critical realism advocated here may retain an apologetic and dialogical relation with the broader society, as it seeks to embody the incarnational narrative in its particular context. (shrink)

Among the various methods of deceit, lying is often thought to be a special affront on the grounds that it invites the victim’s trust. Such an explanation is incomplete without an account of the moral significance of trust. This article distinguishes two morally problematic relations to trust, betrayals and abuses, and, appealing to the idea that we should be grateful to be trusted, attempts to explain these wrongs as violations of distinct demands of gratitude for trust. Only the wrong of (...) abuse, not betrayal, is useful for distinguishing methods of deceit. Although lying commits an abuse of trust, it turns out that it is really the broader category of deceit by means of communication that is special in this way. -/- . (shrink)

In this paper, the author compares passages from two philosophically important texts and concludes that they have fundamental ideas in common. What makes this comparison and conclusion interesting is that the texts come from two different traditions in philosophy, the analytic and the phenomenological. In 1912, Ernst Mally published *Gegenstandstheoretische Grundlagen der Logik und Logistik*, an analytic work containing a combination of formal logic and metaphysics. In 1913, Edmund Husserl published *Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie*, a seminal (...) work in phenomenology in which noemata are defined and given a crucial role in directing our mental states. In the passages from these two texts reproduced below, the author shows that the abstract `determinates' postulated by Mally in 1912 are assigned much the same role that Husserl assigned to noemata in 1913. Though Mally's determinates are not as highly structured as Husserl's noemata, they have a feature that explains how they manage to play the role assigned to them. The corresponding feature is missing, or at least, not emphasized in Husserl's account of noemata. Therefore, insights from both philosophers, and thus from both the analytic and phenomenological traditions, are needed to give a more complete account of directed mental states. (shrink)

Is the tick a machine or a machine operator? Is it a mere object or a subject? With these questions, the pioneering biophilosopher Jakob von Uexküll embarks on a remarkable exploration of the unique social and physical environments that individual animal species, as well as individuals within species, build and inhabit. This concept of the umwelt has become enormously important within posthumanist philosophy, influencing such figures as Heidegger, Merleau-Ponty, Deleuze and Guattari, and, most recently, Giorgio Agamben, who has called Uexküll (...) "a high point of modern antihumanism." A key document in the genealogy of posthumanist thought, _A Foray into the Worlds of Animals and Humans_ advances Uexküll's revolutionary belief that nonhuman perceptions must be accounted for in any biology worth its name; it also contains his arguments against natural selection as an adequate explanation for the present orientation of a species' morphology and behavior. _A Theory of Meaning_ extends his thinking on the _umwelt_, while also identifying an overarching and perceptible unity in nature. Those coming to Uexküll's work for the first time will find that his concept of the _umwelt_ holds out new possibilities for the terms of animality, life, and the whole framework of biopolitics itself. (shrink)

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

This entry explains Frege's Theorem by using the modern notation of the predicate calculus. Frege's Theorem is that the Dedekind-Peano axioms for number theory are derivable from Hume's Principle, given the axioms and rules of second-order logic. Frege's methodology for defining the natural numbers and for the derivation of the Dedekind-Peano axioms are sketched in some detail.

Trust not only disposes us to feel betrayed, trust can be betrayed. Understanding what a betrayal of trust is requires understanding how trust can ground an obligation on the part of the trusted person to act specifically as trusted. This essay argues that, since trust cannot ground an appropriate obligation where there is no prior obligation, a betrayal of trust should instead be conceived as the violation of a trust-based obligation to respect an already existing obligation. Two forms of trust (...) are evaluated for their potential to ground such a second-order obligation. One form counts as a gift to the trusted person only because it does not involve an expectation of trustworthiness; the other form cannot count as a gift but confers an honor because it does include an expectation of trustworthiness. Only trust that confers an honor generates a second-order obligation whose violation would be a betrayal of trust. -/- . (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

In a recent book, K. Lambert argues that philosophers should adopt Mally's Principle of Independence (the principle that an object can have properties even though it lacks being of any kind) by abandoning a constraint on true predications, namely, that all of the singular terms in a true predication denote objects which have being. The constraint may be abandoned either by supposing there is a true predication in which one of the terms denotes a beingless object (Meinong) or by supposing (...) there is a true predication in which one of the terms denotes nothing at all (free logic). However, Lambert's conclusions can be undermined by showing that the data he produces in support of his position can be explained by either of two recent theories of abstract and nonexistent objects, both of which are couched in languages which conform to the traditional constraint. (shrink)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science (e.g. the scientific realism debate). This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) (...) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics. (shrink)